$\forall$${\it es}$:ES\{i\}. FIFO\{i:l\}(${\it es}$) $\in$ Type\{i'\}